Rewolucyjny dowód matematyczny doczeka się publikacji po 8 latach analiz
3 kwietnia 2020, 10:53Przed ośmiu laty ze świata matematyki nadeszła sensacyjna wiadomość – pojawił się dowód na prawdziwość hipotezy ABC. Jeśli jest on prawdziwy, to mamy do czynienia z największym osiągnięciem matematycznym bieżącego wieku. Autor dowodu, Shinichi Mochizuki z Uniwersytetu w Kioto, udostępnił olbrzymią 600-stronicową pracę na ten temat. I musiał czekać aż 8 lat nim ktokolwiek był w stanie ją przeanalizować.
Wciąż trwają analizy dowodu Mochizukiego
1 sierpnia 2016, 10:49Przed czterema laty Shinichi Mochizuki opublikował 500-stronicowy dowód matematyczny na prawdziwość hipotezy ABC. Jeśli dowód jest prawdziwy, to mamy do czynienia z największym osiągnięciem matematyki XXI wieku. Problem w tym, że nikt nie potrafi zrozumieć pracy Mochizukiego.
Oprogramowania idealne
17 sierpnia 2009, 11:48Australijska organizacja NICTA ogłosiła powstanie pierwszego w historii jądra systemu operacyjnego, które nie tylko zostało w całości matematycznie opisane, ale również przeprowadzono matematyczne dowody na to, iż każda z linii kodu jest w pełni zgodna ze specyfikacją.
Silnik rakietowy z rotującą detonacją (RDRE) przyszłością lotów kosmicznych?
28 lutego 2020, 12:39Wyniesienie ładunku w przestrzeń kosmiczną wymaga olbrzymich ilości paliwa. Loty pozaziemskie są przez to niezwykle kosztowne. Jednak nowy rodzaj silnika, zwanego silnikiem rakietowy z rotującą detonacją (RDRE – rotating detonation engine), może spowodować, że rakiety nie tylko będą zużywały mniej paliwa, ale będą też lżejsze i mniej skomplikowane.
Lek czy narkotyk? Pierwszy dowód na używanie lulka czarnego w świecie rzymskim
9 lutego 2024, 16:49Setki nasion lulka czarnego znalezionych w wydrążonej kości odkrytej w Houten-Castellum w Holandii to pierwszy jednoznaczny dowód na używanie tej rośliny w świecie rzymskim. Silnie trujący lulek znany był w starożytności nie tylko ze względu na zabójcze działanie, ale również dzięki właściwościom halucynogennym i uspokajającym. Jego stosowanie zalecali starożytni autorzy. Dotychczas nie było całkowitej pewności, czy nasiona znajdowane na stanowiskach z okresu rzymskiego trafiły tam przypadkiem czy celowo. Dopiero zmagazynowanie nasion w wydrążonej kości stanowi fizyczny dowód jego używania.
Ludzkie zęby sprzed 100 000 lat
15 października 2015, 09:34Zęby znalezione w jednej z jaskiń na południu Chin wskazują, że Homo sapiens dotarł na tereny obecnego Państwa Środka już 100 000 lat temu. Dotychczas większość naukowców uważała, że w tym czasie nasz gatunek nie oddalił się zbytnio od Afryki. To jedno z najważniejszych odkryć w Azji w ostatniej dekadzie - mówi archeolog Michael Petraglia z University of Oxford, który nie brał udziału w badaniach.
Najdłuższy dowód matematyczny w historii
1 czerwca 2016, 09:33Marijn Heule z University of Texas, Oliver Kullmann ze Swansea University oraz Victor Marek z University of Kentucky - były pracownik Uniwersytetu Warszawskiego, a obecny współpracownik Instytutu Podstaw Informatyki PAN - użyli superkomputera do przeprowadzenia pojedynczego matematycznego dowodu, uzyskując w ten sposób największy matematyczny dowód w historii. Jego zapisanie zajęło 200 terabajtów przestrzeni dyskowej.
Stopa rękę zmienia
19 stycznia 2010, 11:04Wg naukowców, zwinne dłonie, dzięki którym mogliśmy zacząć wytwarzać i wykorzystywać kamienne narzędzia, są efektem ubocznym zmian w budowie naszych stóp (Evolution).
Dlaczego nadprzewodniki zawodzą?
29 czerwca 2010, 10:11Odkrycia pierwszych wysokotemperaturowych nadprzewodników zrodziły nadzieje na przełom technologiczny. Mijają lata i nic z tego. Peter Hirschfeld, profesor fizyki z Uniwersytetu Florydy, wyjaśnił, dlaczego się nie udaje.
Komórka zamiast superkomputera
8 września 2010, 15:50Moc obliczeniowa superkomputerów pozwala na rozwiązywanie bardzo złożonych problemów inżynieryjnych. Co jednak, kiedy istnieje potrzeba takich obliczeń w terenie? Inżynierowie MIT pokazali technologię, która pozwoli posłużyć się smartfonem zamiast superkomputera.
« poprzednia strona następna strona » 1 2 3 4 5 6 7 …
